master theorem for divide and conquer